Un modello formale di calcolo
Turing propone un modello formale dellÅfattivit_ di un essere umano che esegue un calcolo di tipo algoritmico:
- un dispositivo astratto in grado di emulare la funzione del calcolare, purch_ essa sia definita attraverso una successione di operazioni elementari.